University of Cambridge Computer Laboratory

Results: 746



#Item
121

Exceptions and side-effects in atomic blocks Tim Harris University of Cambridge Computer Laboratory 15 JJ Thomson Avenue Cambridge, UK, CB3 0FD

Add to Reading List

Source URL: timharris.uk

Language: English - Date: 2014-08-25 06:24:52
    122

    Winning Strategies in Concurrent Games Glynn Winskel University of Cambridge Computer Laboratory A principled way to develop nondeterministic concurrent strategies in games within a general model for concurrency. Followi

    Add to Reading List

    Source URL: www.cs.ox.ac.uk

    Language: English - Date: 2011-10-26 13:24:15
      123

      Remarks on A Formulae-as-Types Notion of Control Timothy G. Griffin Computer Laboratory University of Cambridge, UK

      Add to Reading List

      Source URL: www.pps.univ-paris-diderot.fr

      Language: English - Date: 2013-09-22 09:55:54
        124Windows Server / University of Cambridge Computer Laboratory / Xen / Hyper-V / Amazon Elastic Compute Cloud / Web server / Virtual machine / Cache / CPU cache / System software / Computing / Software

        ec2-sphinx-all-machines-new.tex

        Add to Reading List

        Source URL: pages.cs.wisc.edu

        Language: English - Date: 2012-12-24 14:30:46
        125Xen / Virtual machines / Hypervisor / Citrix Systems / Hyper-V / Ring / Temporal isolation among virtual machines / System software / Software / University of Cambridge Computer Laboratory

        Xen 4.1 Data Sheet Xen 4.1 Hypervisor Xen.org proudly announces the release of Xen 4.1 open source hypervisor. Xen 4.1 delivers the foundational platform needed by

        Add to Reading List

        Source URL: www-archive.xenproject.org

        Language: English - Date: 2011-03-25 11:00:19
        126Ethernet / University of Cambridge Computer Laboratory / Xen / Remote desktop / Link aggregation / Hyper-V / Citrix Systems / Hypervisor / Virtual LAN / System software / Computing / Software

        Microsoft Word - XS-design-network_advanced.docx

        Add to Reading List

        Source URL: support.citrix.com

        Language: English
        127Virtual memory / University of Cambridge Computer Laboratory / Xen / Hyper-V / Rootkit / Hypervisor / Virtualization / Hardware virtualization / Device file / System software / Software / Virtual machines

        1 Trail of Bytes: New Techniques for Supporting Data Provenance and Limiting Privacy Breaches Srinivas Krishnan, Member, IEEE, Kevin Z. Snow, and Fabian Monrose

        Add to Reading List

        Source URL: wwwx.cs.unc.edu

        Language: English - Date: 2014-09-05 15:38:44
        128

        An Internet Architecture for the Challenged Arjuna Sathiaseelan1, Dirk Trossen1, Ioannis Komnios2, Joerg Ott3, Jon Crowcroft1 1 Computer Laboratory, University of Cambridge 2

        Add to Reading List

        Source URL: www.spice-center.org

        Language: English - Date: 2014-04-09 08:47:10
          129University of Cambridge Computer Laboratory / Xen / Scheduling / Virtual machine / Hyper-V / Hypervisor / VMware / Temporal isolation among virtual machines / System software / Software / Scheduling algorithms

          Real-­‐Time  Mul,-­‐Core   Virtual  Machine  Scheduling  in  Xen   Sisu  Xi1,  Meng  Xu2,  Chenyang  Lu1,  Linh  Phan2,   1,  Oleg  Sokolsky2,  Insup  Lee2

          Add to Reading List

          Source URL: www.cse.wustl.edu

          Language: English - Date: 2014-11-09 01:37:30
          130

          A Graph-Based Approach to String Regeneration Matic Horvat Computer Laboratory University of Cambridge 15 JJ Thomson Avenue, CB3 0FD, U.K.

          Add to Reading List

          Source URL: www.cl.cam.ac.uk

          Language: English - Date: 2014-01-28 09:39:59
            UPDATE